Investigations into mass mortality
نویسندگان
چکیده
منابع مشابه
Investigations into Satisfiability Search
In this dissertation we investigate theoretical aspects of some practical approaches used in solving and understanding search problems. We concentrate on the Satisfiability problem, which is a strong representative from search problem domains. The work develops general theoretical foundations to investigate some practical aspects of satisfiability search. This results in a better understanding ...
متن کاملInvestigations into Information
The recent development of research field of Computing and Philosophy and especially its Philosophy of Information (PI) branch has spurred investigations of philosophical, methodological and ethical foundations of computing. This thesis is a result of studies into two basic areas of PI that concern meaning (semantics) and underlying value system (ethics). The aim is, among others, to encompass t...
متن کاملInvestigations Into Tandem Features
This report proposes and evaluates a number of tandem feature extraction schemes. The proposed schemes use confidence measures estimated from the MLP outputs to derive tandem-like features. The analysis of variance shows that the proposed features discriminate better between phone classes than conventional tandem features. But they become less discriminant as the HMM model become more complex i...
متن کاملInvestigations into Megabacteriosis
This article deals with the first, Megabacteriosis, which has been diagnosed in many bird species, including Budgerigars, Cockatiels, Grass Parakeets, Rosellas, Lovebirds, and Ostriches. Listed in a report in 1994 were 17 species of Psittacines and nine species of Passerines in which Megabacteria had been demonstrated. It has been suggested that the condition was introduced to exhibition budger...
متن کاملFurther Investigations into Regular XORSAT
Recent years have witnessed rapid progress both in the foundations of and in applying state-of-art solvers for the propositional satisfiability problem (SAT). The study of sources for hard SAT instances is motivated by the need for interesting benchmarks for solver development and on the other hand by theoretical analysis of different proof systems. In this respect satisfiable instance families...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1987
ISSN: 0028-0836,1476-4687
DOI: 10.1038/326896a0